Survey of Constraint-based Program Analysis

STRUCTURAL SYSTEM RELIABILITY-BASED OPTIMIZATION OF TRUSS STRUCTURES USING GENETIC ALGORITHM

Structural reliability theory allows structural engineers to take the random nature of structural parameters into account in the analysis and design of structures. The aim of this research is to develop a logical framework for system reliability analysis of truss structures and simultaneous size and geometry optimization of truss structures subjected to structural system reliability constraint....

Set-Constraint based Program Analysis: A survey

Can Constraint Induced Movement Therapy Improve In-Hand Manipulation Skills: A Single Subject Design

Objectives: This study describes a single subject design (ABA) that shows the effective use of constraint induced movement therapy in improvement of quality and performance of in-hand manipulation skills for a 10 year old boy and a 9 years old girl with hemiplegic cerebral palsy, as Dickerson (2007) showed it in arm movement and function. Methods: To determine the effectiveness of CIMT by th...

A Chance Constraint Approach to Multi Response Optimization Based on a Network Data Envelopment Analysis

In this paper, a novel approach for multi response optimization is presented. In the proposed approach, response variables in treatments combination occur with a certain probability. Moreover, we assume that each treatment has a network style. Because of the probabilistic nature of treatment combination, the proposed approach can compute the efficiency of each treatment under the desirable reli...

A constraint { based View of Dependent Types ( draft )

In this paper we discuss a constraint{based view of dependent types. We survey several systems that deal with a form of dependent types. We are interested in the use of dependent types for indexed data structures such as arrays and matrices. The main focus is on systems that perform a static program analysis, e.g. consider systems for array{ bounds checking. We review the basic properties of su...